separable algebraic closure

可分代数闭包